mcsta/modest mcsta dpm.jani -E N=6,C=6,TIME_BOUND=5 --props PminQueue1Full -O out.txt Minimal --unsafe --es -S Memory --no-partial-results --p0 --p1 --epsilon 0 --absolute-epsilon
dpm.jani:model: info: dpm is an MA model.
dpm.jani: info: Need 16 bytes per state.
dpm.jani: info: Explored 9191028 states for N=6, C=6, TIME_BOUND=5.0.
Peak memory usage: 2593 MB
Analysis results for dpm.jani
Experiment N=6, C=6, TIME_BOUND=5.0
+ State space exploration
State size: 16 bytes
States: 9191028
Transitions: 10604874
Branches: 17865498
Rate: 487821 states/s
Time: 19.7 s
+ Property PminQueue1Full
Probability: 0.026966107848695964
Bounds: [0.026966107848695964, 0.026966107848695964]
Time: 7.8 s
+ Precomputations
Min. prob. 0 states: 1080450
Time for min. prob. 0 states: 0.7 s
Min. prob. 1 states: 403368
Time for min. prob. 1 states: 0.5 s
+ Essential states
Iterations: 2
Essential states: 1512632
Transitions: 2331373
Branches: 9591997
Time: 1.5 s
+ Value iteration
Final error: 0
Iterations: 51
Time: 5.0 s
Exported results to file "/out.txt".